1

Berne's Theory of Cathexis and Its Links to Modern Neuroscience

Year:
2015
Language:
english
File:
PDF, 155 KB
english, 2015
2

Basic Logic: Reflection, Symmetry, Visibility

Year:
2000
Language:
english
File:
PDF, 651 KB
english, 2000
4

Costruttivismo Oltre i luoghi comuni

Year:
2017
Language:
italian
File:
PDF, 930 KB
italian, 2017
6

Provability Logic || Provability: The Emergence of a Mathematical Modality

Year:
1991
Language:
english
File:
PDF, 2.48 MB
english, 1991
10

Some points in formal topology

Year:
2003
Language:
english
File:
PDF, 629 KB
english, 2003
12

C for Constructivism

Year:
2017
Language:
english
File:
PDF, 764 KB
english, 2017
14

Formal Topology and Domains

Year:
2000
File:
PDF, 774 KB
2000
15

A modal sequent calculus for a fragment of arithmetic

Year:
1980
Language:
english
File:
PDF, 657 KB
english, 1980
17

Le Deliberazioni del Consiglio dei Rogati (Senato), Serie "Mixtorum"

Year:
1963
Language:
english
File:
PDF, 401 KB
english, 1963
18

A new proof of Sahlqvist's theorem on modal definability and completeness

Year:
1989
Language:
english
File:
PDF, 584 KB
english, 1989
19

An Incomplete System of Modal Logic

Year:
1985
Language:
english
File:
PDF, 652 KB
english, 1985
20

The Modal Logic of Provability. The Sequential Approach

Year:
1982
Language:
english
File:
PDF, 2.11 MB
english, 1982
25

Post Completeness and Free Algebras

Year:
1980
Language:
english
File:
PDF, 307 KB
english, 1980
26

Topology and duality in modal logic

Year:
1988
Language:
english
File:
PDF, 5.20 MB
english, 1988
27

Preface

Year:
2006
Language:
english
File:
PDF, 82 KB
english, 2006
28

The overlap algebra of regular opens

Year:
2010
Language:
english
File:
PDF, 305 KB
english, 2010
29

Finitary formal topologies and Stone’s representation theorem

Year:
2008
Language:
english
File:
PDF, 387 KB
english, 2008
30

Inductively generated formal topologies

Year:
2003
Language:
english
File:
PDF, 367 KB
english, 2003
31

The modal logic of provability. The sequential approach

Year:
1982
Language:
english
File:
PDF, 1.35 MB
english, 1982
32

Provability: the emergence of a mathematical modality

Year:
1991
Language:
english
File:
PDF, 1.28 MB
english, 1991
33

An effective fixed-point theorem in intuitionistic diagonalizable algebras

Year:
1976
Language:
english
File:
PDF, 967 KB
english, 1976
34

Fixed points through the finite model property

Year:
1978
Language:
english
File:
PDF, 186 KB
english, 1978
38

Preface

Year:
2012
Language:
english
File:
PDF, 126 KB
english, 2012
48

A BILL

Year:
1836
Language:
english
File:
PDF, 322 KB
english, 1836